Dice reasoning